441. Abstract Software Specifications :
Author: edited by Dines Bjøorner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Software engineering.

442. Abstract State Machines, Alloy, B, TLA, VDM, and Z
Author: / Dieter Schewe-Yamine Ait Ameur, Klaus
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK

443. Abstract State Machines, Alloy, B, VDM, and Z
Author: / John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK

444. Abstract algebra :
Author: David R. Finston, Patrick J. Morandi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Abstract,Algebra,Linear and Multilinear Algebras, Matrix Theory,Mathematical Applications in Computer Science,Mathematics
Classification :
QA162


445. Abstraction in artificial intelligence and complex systems
Author: / Daniel Zucker (auth.)-Lorenza Saitta, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
Classification :
E-BOOK

446. Abstraction, refinement and proof for probabilistic systems
Author: / Annabelle McIver, Carroll Morgan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Engineering mathematics.,Probabilities.,Systems engineering.
Classification :
TA
,
340
,.
M43
,
2005


447. 2010 Accelerated C
Author: / Trey Nash
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

448. Accelerating MATLAB Performance: 1001 Tips to Speed Up MATLAB Programs
Author: / Yair M. Altman
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
Classification :
E-BOOK

449. Accelerating MATLAB with GPU Computing : A Primer with Examples
Author: / Suh, Jung W.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK

450. Accelerating Test, Validation and Debug of High Speed Serial Interfaces
Author: / Yongquan Fan, Zeljko Zilic
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: INSTRUMENTATION& ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY|INSTRUMENTS &COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, CIVIL|ENGINEERING, ELECTRICAL
Classification :
E-BOOK

451. Accelerator programming using Directives :
Author: Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,High performance computing, Congresses.,Computer programming.,High performance computing.
Classification :
QA76
.
751


452. Accelerator programming using directives: 4th International Workshop, WACCPD 2017 Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017 Denver, CO, USA, November 13, 2017 Proceedings
Author: / Edited by Sunita Chandrasekaran, Guido Juckeland.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Parallel programming (Computer science) -- Congresses.,High performance computing -- Congresses.,High performance computing.,Computer science, Parallel programming, High performance computing.

453. Access 2010 Bible
Author: / Groh, Michael R.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

454. Access Control, Security, and Trust : A Logical Approach
Author: / Kai
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK

455. Access Networks
Author: / ndor Imre, Ranganai Chaparadzaع, Hua Zhu, Sلbert SzabRل
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK

456. Access Networks
Author: / Xiao Jun Hei, Lawrence Cheung
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
Classification :
E-BOOK

457. Access Solutions : Tips, Tricks, and Secrets from Microsoft Access MVPs
Author: / Meyer, Arvin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

458. Access 2010 : The Missing Manual
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

459. Access and Identity Management for Libraries : Controlling access to online information
Author: / Garibyan, Mariam
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
Classification :
E-BOOK

460. Access controlled: the shaping of power, rights, and rule in cyberspace
Author: / Ronald J. Deibert, John G. Palfrey, Rafal Rohozinski, Jonathan Zittrain, Miklos Haraszti
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
